\chapter{Enigma simulator}\label{app:enigma}
In this appendix we present the Cryptol code for the enigma\indEnigma
machine in its entirety for reference purposes.
\hyperref[chapter:enigma]{Chapter~\ref*{chapter:enigma}} has a
detailed discussion on how the enigma machine worked, and the
construction of the Cryptol model below.

\fvset{fontsize=\footnotesize}
\VerbatimInput[numbers=left]{enigma/Enigma.cry}
\commentout{
\begin{code}
EnigmaEncapsulated = {
include "Enigma.cry";
};
\end{code}
}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../main/Cryptol"
%%% End: 
